Code-based cryptography is currently the second most promising post-quantum mathematical tool for quantum-resistant algorithms. Since in 2022 the first post-quantum standard Key Encapsulation Mechanism, Kyber (a latticed-based algorithm), was selected to be established as standard, and after that the National Institute of Standards and Technology post-quantum standardization call focused in code-based cryptosystems. Three of the four candidates that remain in the fourth round are code-based algorithms. In fact, the only non-code-based algorithm (SIKE) is now considered vulnerable. Due to this landscape, (...) it is crucial to update previous results about these algorithms and their functioning. The Fujisaki-Okamoto transformation is a key part of the study of post-quantum algorithms and in this work we focus our analysis on Classic McEliece, BIKE and HQC proposals, and how they apply this transformation to obtain IND-CCA semantic security. Since after security the most important parameter in the evaluation of the algorithms is performance, we have compared the performance of the code-based algorithms of the NIST call considering the same architecture for all of them. (shrink)

We tested the hypothesis that perception of an alternative image in ambiguous figures would be manifest as high-frequency (gamma) components that become synchronized over multiple scalp sites as a ''cognitive binding'' process occurs. For 171 combinations of data from 19 electrodes, obtained from 17 subjects and 10 replicate stimuli, we calculated the difference in correlation between the response to first seeing an ambiguous figure and when the alternative percept for that figure became consciously realized (cognitively bound). Numerous statistically significant correlation (...) differences occurred in all frequency bands tested with ambiguous-figure stimulation, but not in two kinds of control data (a reaction-time test to sound stimuli and a no-task, mind-wandering test). Statistically significant correlation changes were widespread, involving frontal, parietal, central, and occipital regions of both hemispheres. Correlation changes were evident at each of five frequency bands, ranging up to 62.5 Hz. Most of the statistically significant correlation changes were not between adjacent sites but between sites relatively distant, both ipsilateral and contralateral. Typically, these correlation changes occurred in more than one frequency band. These results suggest that cognitive binding is a distinct mental state that is reliably induced by ambiguous-figure perception tasks. Coherent oscillations at multiple frequencies may reflect the mechanism by which such binding occurs. Moreover, different coherent frequencies may mediate different components of the total cognitive-binding process. (shrink)

The objectives of this study were to develop a high-density chromosome bin map of homoeologous group 7 in hexaploid wheat, to identify gene distribution in these chromosomes, and to perform comparative studies of wheat with rice and barley. We mapped 2148 loci from 919 EST clones onto group 7 chromosomes of wheat. In the majority of cases the numbers of loci were significantly lower in the centromeric regions and tended to increase in the distal regions. The level of duplicated loci (...) in this group was 24% with most of these loci being localized toward the distal regions. One hundred nineteen EST probes that hybridized to three fragments and mapped to the three group 7 chromosomes were designated landmark probes and were used to construct a consensus homoeologous group 7 map. An additional 49 probes that mapped to 7AS, 7DS, and the ancestral translocated segment involving 7BS also were designated landmarks. Landmark probe orders and comparative maps of wheat, rice, and barley were produced on the basis of corresponding rice BAC/PAC and genetic markers that mapped on chromosomes 6 and 8 of rice. Identification of landmark ESTs and development of consensus maps may provide a framework of conserved coding regions predating the evolution of wheat genomes. (shrink)

The focus of this study was to analyze the content, distribution, and comparative genome relationships of 996 chromosome bin-mapped expressed sequence tags accounting for 2266 restriction fragments on the homoeologous group 3 chromosomes of hexaploid wheat. Of these loci, 634, 884, and 748 were mapped on chromosomes 3A, 3B, and 3D, respectively. The individual chromosome bin maps revealed bins with a high density of mapped ESTs in the distal region and bins of low density in the proximal region of the (...) chromosome arms, with the exception of 3DS and 3DL. These distributions were more localized on the higher-resolution group 3 consensus map with intermediate regions of high-mapped-EST density on both chromosome arms. Gene ontology classification of mapped ESTs was not significantly different for homoeologous group 3 chromosomes compared to the other groups. A combined analysis of the individual bin maps using 537 of the mapped ESTs revealed rearrangements between the group 3 chromosomes. Approximately 232 of the consensus mapped ESTs matched sequences on rice chromosome 1 and revealed large- and small-scale differences in gene order. Of the group 3 mapped EST unigenes ∼21 and 32% matched the Arabidopsis coding regions and proteins, respectively, but no chromosome-level gene order conservation was detected. (shrink)

The complex hexaploid wheat genome offers many challenges for genomics research. Expressed sequence tags facilitate the analysis of gene-coding regions and provide a rich source of molecular markers for mapping and comparison with model organisms. The objectives of this study were to construct a high-density EST chromosome bin map of wheat homoeologous group 2 chromosomes to determine the distribution of ESTs, construct a consensus map of group 2 ESTs, investigate synteny, examine patterns of duplication, and assess the colinearity with rice (...) of ESTs assigned to the group 2 consensus bin map. A total of 2600 loci generated from 1110 ESTs were mapped to group 2 chromosomes by Southern hybridization onto wheat aneuploid chromosome and deletion stocks. A consensus map was constructed of 552 ESTs mapping to more than one group 2 chromosome. Regions of high gene density in distal bins and low gene density in proximal bins were found. Two interstitial gene-rich islands flanked by relatively gene-poor regions on both the short and long arms and having good synteny with rice were discovered. The map locations of two ESTs indicated the possible presence of a small pericentric inversion on chromosome 2B. Wheat chromosome group 2 was shown to share syntenous blocks with rice chromosomes 4 and 7. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This book brings together scholars from a variety of epistemological perspectives to explore the multiple ways in which sexuality does indeed matter in the arena of public education.

A total of 1918 loci, detected by the hybridization of 938 expressed sequence tag unigenes from 26 Triticeae cDNA libraries, were mapped to wheat homoeologous group 4 chromosomes using a set of deletion, ditelosomic, and nulli-tetrasomic lines. The 1918 EST loci were not distributed uniformly among the three group 4 chromosomes; 41, 28, and 31% mapped to chromosomes 4A, 4B, and 4D, respectively. This pattern is in contrast to the cumulative results of EST mapping in all homoeologous groups, as reported (...) elsewhere, that found the highest proportion of loci mapped to the B genome. Sixty-five percent of these 1918 loci mapped to the long arms of homoeologous group 4 chromosomes, while 35% mapped to the short arms. The distal regions of chromosome arms showed higher numbers of loci than the proximal regions, with the exception of 4DL. This study confirmed the complex structure of chromosome 4A that contains two reciprocal translocations and two inversions, previously identified. An additional inversion in the centromeric region of 4A was revealed. A consensus map for homoeologous group 4 was developed from 119 ESTs unique to group 4. Forty-nine percent of these ESTs were found to be homoologous to sequences on rice chromosome 3, 12% had matches with sequences on other rice chromosomes, and 39% had no matches with rice sequences at all. Limited homology was found between wheat ESTs on homoeologous group 4 and the Arabidopsis genome. Forty-two percent of the homoeologous group 4 ESTs could be classified into functional categories on the basis of blastX searches against all protein databases. (shrink)

© 2016 Regents of the University of California.The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous (...) tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 117 reviews are many that are new or heavily revised, including those on Pentaquarks and Inflation. The complete Review is published online in a journal and on the website of the Particle Data Group. The printed PDG Book contains the Summary Tables and all review articles but no longer includes the detailed tables from the Particle Listings. A Booklet with the Summary Tables and abbreviated versions of some of the review articles is also available. (shrink)

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of mathematics, replacing it by a plurality of local mathematical frameworks - elementary toposes - defined in category-theoretic terms.

2. The Contingency and A posteriority Constraint: A formulation of the thesis must make physicalism come out contingent and a posteriori. First, physicalism is a contingent truth, if it is a truth. This means that physicalism could have been false, i.e. there are counterfactual worlds in which physicalism is false, for example, counterfactual worlds in which there are miracle -performing angels.[9] Moreover, if physicalism is true, our knowledge of its truth is a posteriori. This is to say that there are (...) ways the world could turn out to be such that physicalism is false. For example, if there are miracle -performing angels, then physicalism is false. So there are worlds considered as actual in which physicalism is false.[10] For short, call this ‘the a posteriority constraint’.[11]. (shrink)

The idea of a 'logic of quantum mechanics' or quantum logic was originally suggested by Birkhoff and von Neumann in their pioneering paper [1936]. Since that time there has been much argument about whether, or in what sense, quantum 'logic' can be actually considered a true logic (see, e.g. Bell and Hallett [1982], Dummett [1976], Gardner [1971]) and, if so, how it is to be distinguished from classical logic. In this paper I put forward a simple and natural semantical framework (...) for quantum logic which reveals its difference from classical logic in a strikingly intuitive way, viz. through the fact that quantum logic admits (suitably formulated versions of) the characteristic quantum-mechanical notions of superposition and incompatibility of attributes. That is, precisely the features that distinguish quantum from classical physics also serve, within this framework, to distinguish quantum from classical logic. Some light is shed on the question of whether quantum logic is a genuine logical system by introducing a natural entailment relation for quantum-logical formulas with the implication symbol. The novelty is that, although implication behaves as it should (i.e. the 'deduction theorem' holds), the order of introduction of premises is significant. The fact that a reasonable entailment relation can be formulated for quantum logic supports the view that it is a genuine logical system and not merely an algebraic formalism. (shrink)

Seit dem 2. nachchristlichen Jahrhundert werden die Schriften von Aristoteles kommentiert. Diese Ausgabe enthält griechische Kommentare zu seinem Werk vom 3. bis 8. Jahrhundert n. Chr., u. a. von Alexander von Aphrodiensias, Themistios, Joh. Philoponus, Simplicius in griechischer Sprache.

I first sketch an account of humility as a character trait in which we are unimpressed with our good, envied, or admired features, achievements, etc., where these lack significant salience for our image of ourselves, because of the greater prominence of our limitations and flaws. I situate this view among several other recent conceptions of humility (also called modesty), dividing them between the inward-directed and outward-directed, distinguish mine from them, pose problems for each alternative account, and show how my understanding (...) of humility captures truths present but exaggerated in several of them. Responding to some problems for my view, including what I call “Driver’s Paradox”(i.e., the strangeness of someone’s proclaiming ‘I’m humble!’), I suggest that some over-ambitious claims about our moral responsibilities may indicate a lack of proper humility. I discuss the relationship of the character trait of humility both to what humiliates and to what humbles, concluding with consideration of the background assumptions against which, and the circumstances in which, humility may reasonably be classified as a moral virtue. (shrink)

One strategy for blocking Chalmers's overall case against physicalism has been to deny his claim that showing that phenomenal properties are in some sense physical requires an a priori entailment of the phenomenal truths from the physical ones. Here I avoid this well-trodden ground and argue instead that an a priori entailment of the phenomenal truths from the physical ones does not require an analysis in the Jackson/Chalmers sense. This is to sever the dualist's link between conceptual analysis and a (...) priori entailment by showing that the lack of the former does not imply the absence of the latter. Moreover, given the role of the argument from conceptual analysis in Chalmers's overall case for dualism, undermining that argument effectively undermines that case as a whole in a way that, I'll argue, undermining the conceivability arguments as stand-alone arguments does not. (shrink)

This paper is an introduction to topos theory which assumes no prior knowledge of category theory. It includes a discussion of internal logic in a topos, A characterization of the category of sets, And an investigation of the notions of topology and sheaf in a topos.

This paper argues that, while there is a difference between personal and sub‐personal explanation, claims of autonomy should be treated with scepticism. It distinguishes between horizontal and vertical explanatory relations that might hold between facts at the personal and farts at the sub‐personal level. Noting that many philosophers are prepared to accept vertical explanatory relations between the two levels, I argue for the stronger claim that, in the case of at least three central personal level phenomena, the demands of explanatory (...) adequacy require postulating horizontal explanatory relations. (shrink)

One of the aims of this paper is to discuss the different senses of the term 'existence' as used by the nyaya philosophers. this discussion leads us to a discussion on absence or negation and its role in logic. a discussion on empty terms has also been introduced in this context. according to the nyaya, existence, knowability and nameability are considered as universal properties. the distinction between these universal properties has been discussed in this context. i have also discussed the (...) question whether the nyaya has used redundant terms in designating the same imposed property by using three different terms. a distinction between different senses of the term 'property' has also been discussed in this context. (shrink)

This essay rebuts Gary Seay's efforts to show that committing euthanasia need not conflict with a physician's professional duties. First, I try to show how his misunderstanding of the correlativity of rights and duties and his discussion of the foundation of moral rights undermine his case. Second, I show aspects of physicians' professional duties that clash with euthanasia, and that attempts to avoid this clash lead to absurdities. For professional duties are best understood as deriving from professional virtues and the (...) commitments and purposes with which the professional as such ought to act, and there is no plausible way in which her death can be seen as advancing the patient's medical welfare. Third, I argue against Prof. Seay's assumption that apparent conflicts among professional duties must be resolved through "balancing" and argue that, while the physician's duty to extend life is continuous with her duty to protect health, any duty to relieve pain is subordinate to these. Finally, I show that what is morally determinative here, as throughout the moral life, is the agent's intention and that Prof. Seay's implicitly preferred consequentialism threatens not only to distort moral thinking but would altogether undermine the medical (and any other) profession and its internal ethics. (shrink)

We analyze Zorn's Lemma and some of its consequences for Boolean algebras in a constructive setting. We show that Zorn's Lemma is persistent in the sense that, if it holds in the underlying set theory, in a properly stated form it continues to hold in all intuitionistic type theories of a certain natural kind. (Observe that the axiom of choice cannot be persistent in this sense since it implies the law of excluded middle.) We also establish the persistence of some (...) familiar results in the theory of (complete) Boolean algebras--notably, the proposition that every complete Boolean algebra is an absolute subretract. This (almost) resolves a question of Banaschewski and Bhutani as to whether the Sikorski extension theorem for Boolean algebras is persistent. (shrink)

One of the Machiavelli's most famous and innovative thesis states that good laws arise from social conflicts, according to the Roman Empire example of the opposition between plebs and nobles. Conflicts are able to bring about order in virtue of the characteristic constrictive force of necessity, which prevents the ambition to prevail. Nonetheless, law does not neutralize the conflict; just give it a regulation. So, law is subjected to history, to the continuous change, which means that it is potentially corruptible. (...) On this account, Machiavelli says that a State can only maintain its authority through a continuous return to the originary moment, viz. to the revival of the experiences of "fear", "terror" and "punishment" lived in the originary event of the foundation. For that reason, in the origin of law is also the violence, whose combined function is to provide legitimacy to its exercise by the State apparatus as the only form to preserve political life from ruin.Uma das mais famosas e inovadoras teses de Maquiavel é a afirmação de que as boas leis nascem dos conflitos sociais, segundo o exemplo romano das oposições entre plebe e nobres. Os conflitos são capazes de produzir ordem por conter a força constritiva própria da necessidade, que impede a ambição de reinar. Contudo, a lei não neutraliza o conflito, mas apenas lhe dá uma ordenação. A lei está, pois, exposta à história, à contínua mudança, o que significa dizer que é potencialmente corruptível. Por causa desta possibilidade, Maquiavel afirma que um Estado somente mantém sua autoridade por meio de um retorno contínuo ao momento da origem, isto é, à revivência da experiência do "medo", do "terror" e da "punição" do acontecimento originário da fundação. Assim, na origem da lei está a violência, cuja função é proporcionar a legitimação de seu exercício pelo aparato estatal como única forma de preservar da ruína a vida política. (shrink)